- rule of contraction
- мат.правило сокращения
English-Russian scientific dictionary. 2008.
rule of contraction
Смотреть что такое "rule of contraction" в других словарях:
Contraction and Convergence — (C C) is a proposed global framework for reducing greenhouse gas emissions to combat climate change. Conceived by the Global Commons Institute [GCI] in the early 1990s, the Contraction and Convergence strategy consists of reducing overall… … Wikipedia
Contraction — may refer to: In physiology: Muscle contraction, one that occurs when a muscle fiber lengthens or shortens Uterine contraction, contraction of the uterus, such as during childbirth Contraction, a stage in wound healing In linguistics: Synalepha,… … Wikipedia
Contraction (grammar) — This article is about contraction in the grammar of modern languages, which involves elision. For contraction in Ancient Greek, the coalescence of two vowels into one, see crasis. For the linguistic function of pronouncing vowels together, see… … Wikipedia
contraction rule — noun : a patternmaker s rule in which the divisions are made larger ( 1/96 for iron, 1/64 for brass) than standard measures to allow for contraction during cooling of the metal being cast … Useful english dictionary
Structural rule — In proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgements or sequents directly. Structural rules often mimic intended meta theoretic properties of the logic.… … Wikipedia
Naegele's rule — is a standard way of calculating the due date for a pregnancy. The rule estimates the expected date of delivery (EDD) by adding one year, subtracting three months, and adding seven days to the first day of a woman s last menstrual period (LMP).… … Wikipedia
shrinkage rule — noun or shrink rule : contraction rule … Useful english dictionary
Curry's paradox — For Paul Curry s optical illusion and dissection puzzle, see Missing square puzzle. Curry s paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self referring sentence… … Wikipedia
Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… … Wikipedia
Idempotency of entailment — is a property of logical systems that states that one may derive the same consequences from many instances of a hypothesis as from just one. In sequent calculi this property can be captured by a structural rule called contraction and in such… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
